formalized meaning meaning in English

形式化了的意义

Gasl used single engine and multi - map to express the data source for gis application system , provided browse , query and spatial anlysis three basic operations for map , offered formalized means for defining the special requirements of gis application system
Gasl以单引擎多图幅的形式表示gis应用系统的数据源，对图幅提供浏览、查询和空间分析三种基本操作，为定义gis应用系统特殊需求提供了形式化手段。
The innovations of this paper are embodied as follows : 1 ) applied domain specific language into the domain of gis application system , designed a simple specification language for gis application system , named gasl , offered formalized means for defining the special requirements of gis application system . 2 ) developed an integration , visual programming environments prototype system , called gbuilder , which is an application generator integrated
本文的创新之处体现在如下两点： 1 ）将领域专用语言运用到gis应用系统领域，初步设计出一种简易的gis软件规格描述语言gasl ，为定义gis应用系统特殊需求提供了形式化手段； 2 ）开发了一个集成式可视化开发环境gbuilder系统原型，该应用产生器集工具、语言和库于一体，为gis软件开发提供了新的方法和工具。